On the Heine - Borel Property in the Theory of Abstract Sets

نویسندگان

  • T. H. Hildebrandt
  • E. R. Hedrick
چکیده

implication in general) to the rule of syllogism—is wholly fallacious; the real source of the difference lies in the change of sense of the middle term; that to confound in a middle term the sensus compositi and the sensus divisi is a source of danger has been a commonplace of logic since the time of the scholastics. That an inept symbolism is made use of in mathematics, which has for a fundamental interest the point and the "variable" (i. e., individuals, or singulars) would be of no consequence, but Russell and Peano treat this "addition" as constituting an important improvement over the logic which preceded them—that of Peirce and his school—instead of which it is simply erroneous.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Completeness in Probabilistic Metric Spaces

The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...

متن کامل

A convex combinatorial property of compact sets in the plane and its roots in lattice theory

K. Adaricheva and M. Bolat have recently proved that if $,mathcal U_0$ and $,mathcal U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $jin {0,1,2}$ and $kin{0,1}$ such that $,mathcal U_{1-k}$ is included in the convex hull of $,mathcal U_kcup({A_0,A_1, A_2}setminus{A_j})$. One could say disks instead of circles.Here we prove the existence of such a $j$ and $k$ ...

متن کامل

Applications of the Tarski–kantorovitch Fixed-point Principle in the Theory of Iterated Function Systems

We show how some results of the theory of iterated function systems can be derived from the Tarski–Kantorovitch fixed–point principle for maps on partially ordered sets. In particular, this principle yields, without using the Hausdorff metric, the Hutchinson–Barnsley theorem with the only restriction that a metric space considered has the Heine–Borel property. As a by–product, we also obtain so...

متن کامل

An Implementation of the Heine-Borel Covering Theorem in Type Theory

We describe an implementation in type theory of a proof of a pointfree formulation of the Heine Borel covering theorem for intervals with rational endpoints

متن کامل

Quantitative Structure-Property Relationship to Predict Quantum Properties of Monocarboxylic Acids By using Topological Indices

Abstract. Topological indices are the numerical value associated with chemical constitution purporting for correlation of chemical structure with various physical properties, chemical reactivity or biological activity. Graph theory is a delightful playground for the exploration of proof techniques in Discrete Mathematics and its results have applications in many areas of sciences. A graph is a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007